trait T: Hash + Clone {}
